Cylindric algebras and algebras of substitutions
نویسندگان
چکیده
منابع مشابه
Cylindric Algebras and Algebras of Substitutions^)
Several new formulations of the notion of cylindric algebra are presented. The class CA of all cylindric algebras of degree a is shown to be definitionally equivalent to a class of algebras in which only substitutions (together with the Boolean +, •, and — ) are taken to be primitive operations. Then CA is shown to be definitionally equivalent to an equational class of algebras in which only su...
متن کاملNoncommutative cylindric algebras and relativizations of cylindric algebras
We obtain the class N A of noncommutative cylindric algebras from the class CA of cylindric algebras by weakening the axiom C 4 of commuta-tivity of cylindrifications (to C * 4 , see below, and we obtain N CA from CA by omitting C 4 completely). Some motivation for studying noncommutative cylindric algebras: Noncommutative cylindric algebras (N A's) have the same " substi-tutional structure " a...
متن کاملConnections between Relation Algebras and Cylindric Algebras
We give an informal description of a recursive representabilitypreserving reduction of relation algebras to cylindric algebras. The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-24704-5_2
متن کاملRelation Algebras from Cylindric and Polyadic Algebras
This paper is a survey of recent results concerning connections between relation algebras (RA), cylindric algebras (CA) and polyadic equality algebras (PEA). We describe exactly which subsets of the standard axioms for RA are needed for axiomatizing RA over the RA-reducts of CA3’s, and we do the same for the class SA of semi-associative relation algebras. We also characterize the class of RA-re...
متن کاملConnections between cylindric algebras and relation algebras
We investigate the class SRaCAn for 4 n < ! and survey some recent results. We see that RAn | the subalgebras of relation algebras with relational bases | is too weak, and that the class of relation algebras whose canonical extension has an n-dimensional cylindric basis is too strong to deene the class. We introduce the notion of an n-dimensional hyperbasis and show that for any relation algebr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1973
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1973-0317931-1